(31337_80662783536910, `Short circuit`)